1. Application and Theory of Petri Nets 1995 :
پدیدآورنده : edited by Giorgio De Michelis, Michel Diaz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer architecture.,Computer science.,Microprocessors.
رده :
QA267
.
E358
1995
2. Petri nets: fundamental models, verification, and applications
پدیدآورنده : edited by Michel Diaz
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Distributed processing ، Electronic data processing,، Parallel processing )Electronic computers(,، System design,، Petri nets
رده :
QA
76
.
9
.
D5
R4713
3. Petri nets: fundamental models, verification, and applications
پدیدآورنده : edited by Michel Diaz
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic data processing - Distributed processing,، Parallel processing )Electronic computers(,، System design,، Petri nets
رده :
QA
76
.
9
.
D5
R471
2009
4. Remembrance of Pacific pasts :
پدیدآورنده : edited by Robert Borofsky.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Public opinion-- Pacific Area.,Opinion publique-- Pacifique, Région du.,Civilization.,Geschiedschrijving.,HISTORY-- World.,Kolonialisme.,Postkolonialisme.,Public opinion.,Pacific Area, Civilization.,Pacific Area, Foreign public opinion.,Pacifique, Région du, Civilisation.,Pacifique, Région du, Opinion publique étrangère.,Pacific Area.,Pazifischer Raum, 0, 0, 6, 6, 7, 7
رده :
DU28
.
3
.
R45
2000eb
5. <The> Formal Description Technique Lotos: Results of the ESPRIT/ SEDOS Project
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Electronic data processing- Distributed processind,ESPRIT/ SEDOS Project,System design
رده :
QA
،
76
.
9
،.
D5
,
F65
،
1989
